@Book{1,
  title =	"Robust Programming",
  author =	"Matt Bishop",
  publisher =	"Lecture Notes for ECS 153",
  year = 	"Winter 2003"
}

@Manual{2,
title = {Robust Definition},
publisher = {As on September 25th, 2007},
address = {http://www.bellevuelinux.org/robust.html}
}

@Manual{3,
	title = {Robust Programming},
  publisher =	{Lecture Slides for CS 217 Princeton University},
  address = {http://www.cs.princeton.edu/courses/archive/spring02/cs217/lectures/robust.pdf}
  }

@Manual{4,
title = {The Spec\# Programming System: An Overview},
publisher = {As on September 25th, 2007},
address = {http://research.microsoft.com/specsharp/papers/krml136.pdf},
year = 	{October 2004}
}